Bravetti, B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Contact Geometry and Thermodynamics

Bravetti, Alessandro

Journal:

International Journal of Geometric Methods in Modern Physics

Year:

2018

Language:

english

File:

PDF, 693 KB

english, 2018

2

Behavioral Types in Programming Languages

Ancona, Davide, Bono, Viviana, Bravetti, Mario, Campos, Joana, Castagna, Giuseppe, Deniélou, Pierre-Malo, Gay, Simon J., Gesbert, Nils, Giachino, Elena, Hu, Raymond, Johnsen, Einar Broch, Martins, Fra

Journal:

Foundations and Trends® in Programming Languages

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

3

Numerical integration in Celestial Mechanics: a case for contact geometry

Bravetti, Alessandro, Seri, Marcello, Vermeeren, Mats, Zadra, Federico

Journal:

Celestial Mechanics and Dynamical Astronomy

Year:

2020

Language:

english

File:

PDF, 2.68 MB

english, 2020

4

Numerical integration in Celestial Mechanics: a case for contact geometry

Bravetti, Alessandro, Seri, Marcello, Vermeeren, Mats, Zadra, Federico

Journal:

Celestial Mechanics and Dynamical Astronomy

Year:

2020

File:

PDF, 2.68 MB

2020

5

Process calculi as a tool for studying coordination, contracts and session types

Bravetti, Mario, Zavattaro, Gianluigi

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 838 KB

2020

6

Service Oriented Computing: A New Challenge for Process Algebras

Mario Bravetti, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 162 KB

english, 2006

7

Labiomandibular paresthesia caused by endodontic treatment: an anatomic and clinical study

Françoise Tilotta-Yasukawa, Sarah Millot, Aziz El Haddioui, P. Bravetti, Jean-François Gaudy

Journal:

Oral Surgery, Oral Medicine, Oral Pathology, Oral Radiology, and Endodontology

Year:

2006

Language:

english

File:

PDF, 3.07 MB

english, 2006

8

Single-drive LiNbO3 Mach-Zehnder modulator with widely DC tunable chirp

Ghislotti, G., Balsamo, S., Bravetti, P.

Journal:

IEEE Photonics Technology Letters

Year:

2003

Language:

english

File:

PDF, 593 KB

english, 2003

9

A novel 10-Gb/s duobinary receiver with improved back-to-back performance and large chromatic dispersion tolerance

L. Moller, Chongjin Xie, Xing Wei, Xiang Liu, C. Stook, J. Wood, P. Bravetti, P. Bergamini, C. Gualandi

Journal:

IEEE Photonics Technology Letters

Year:

2004

Language:

english

File:

PDF, 262 KB

english, 2004

10

Impact of response flatness on duobinary transmission performance: an optimized transmitter with improved sensitivity

P. Bravetti, L. Moller, G. Ghislotti, C. Cavalli, C. Gualandi, P. Bergamini

Journal:

IEEE Photonics Technology Letters

Year:

2004

Language:

english

File:

PDF, 254 KB

english, 2004

11

Unbroadened-spectrum chirped Modulation: effects of the chirp-inducing mechanism on the spectral broadening in LiNbO3 Modulators

P. Bravetti, S. Balsamo, J.A.V. Montoya, R. Brouard, V. Rouffiange

Journal:

IEEE Photonics Technology Letters

Year:

2005

Language:

english

File:

PDF, 134 KB

english, 2005

12

[Lecture Notes in Computer Science] CONCUR 2009 - Concurrency Theory Volume 5710 || Bigraphical Categories

Bravetti, Mario, Zavattaro, Gianluigi

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

13

Laparoscopic anterior gastropexy for chronic recurrent gastric volvulus: a case report

Umberto Morelli, Maurizio Bravetti, Paolo Ronca…

Journal:

Journal of Medical Case Reports

Year:

2008

Language:

english

File:

PDF, 115 KB

english, 2008

14

Representation invariant Geometrothermodynamics: Applications to ordinary thermodynamic systems

Bravetti, Alessandro, Lopez-Monsalvo, Cesar S., Nettel, Francisco, Quevedo, Hernando

Journal:

Journal of Geometry and Physics

Year:

2014

Language:

english

File:

PDF, 432 KB

english, 2014

15

The conformal metric structure of Geometrothermodynamics

Bravetti, Alessandro, Lopez-Monsalvo, Cesar S., Nettel, Francisco, Quevedo, Hernando

Journal:

Journal of Mathematical Physics

Year:

2013

Language:

english

File:

PDF, 452 KB

english, 2013

16

Liouville’s theorem and the canonical measure for nonconservative systems from contact geometry

Bravetti, A, Tapias, D

Journal:

Journal of Physics A Mathematical and Theoretical

Year:

2015

Language:

english

File:

PDF, 336 KB

english, 2015

17

Para-Sasakian geometry in thermodynamic fluctuation theory

Bravetti, A, Lopez-Monsalvo, C S

Journal:

Journal of Physics A Mathematical and Theoretical

Year:

2015

Language:

english

File:

PDF, 365 KB

english, 2015

18

Contact symmetries and Hamiltonian thermodynamics

Bravetti, A., Lopez-Monsalvo, C.S., Nettel, F.

Journal:

Annals of Physics

Year:

2015

Language:

english

File:

PDF, 539 KB

english, 2015

19

Dynamic rebinding for concurrent object groups: Theory and practice

Bravetti, Mario, Giachino, Elena, Lienhardt, Michael, Wong, Peter Y.H.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

20

Protocol optimization of sacroiliac joint MR Imaging at 3 Tesla: Impact of coil design and motion resistant sequences on image quality

Gondim Teixeira, P.A., Bravetti, M., Hossu, G., Lecocq, S., Petit, D., Loeuille, D., Blum, A.

Journal:

Diagnostic and Interventional Imaging

Year:

2017

Language:

english

File:

PDF, 1.40 MB

english, 2017

21

The zeroth law in quasi-homogeneous thermodynamics and black holes

Bravetti, Alessandro, Gruber, Christine, Lopez-Monsalvo, Cesar S., Nettel, Francisco

Journal:

Physics Letters B

Year:

2017

Language:

english

File:

PDF, 618 KB

english, 2017

22

SEASONAL TRENDS OF GRAPEVINE PHYSIOLOGICAL PERFORMANCE AND SOIL WATER CONTENT OF 'SANGIOVESE' (VITIS VINIFERA L.) FIELD PLOTS UNDER REGULATED DEFICIT IRRIGATION

Lanari, V., Silvestroni, O., Bravetti, B., Palliotti, A.

Journal:

Acta Horticulturae

Year:

2012

Language:

english

File:

PDF, 254 KB

english, 2012

23

On the boundary between decidability and undecidability of asynchronous session subtyping

Bravetti, Mario, Carbone, Marco, Zavattaro, Gianluigi

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

24

Reduction semantics in Markovian process algebra

Bravetti, Mario

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 689 KB

english, 2018

25

CANOPY DENSITY MODIFICATION AND CROP CONTROL STRATEGIES ON 'MONTEPULCIANO' (VITIS VINIFERA L.)

Bravetti, B., Lanari, V., Manni, E., Silvestroni, O.

Journal:

Acta Horticulturae

Year:

2012

Language:

english

File:

PDF, 136 KB

english, 2012

26

Nusinersen in type 1 Spinal Muscular Atrophy: 12-month real world data

Pane, Marika, Coratti, Giorgia, Sansone, Valeria A, Messina, Sonia, Bruno, Claudio, Catteruccia, Michela, Sframeli, Maria, Albamonte, Emilio, Pedemonte, Marina, D'Amico, Adele, Bravetti, Chiara, Berti

Journal:

Annals of Neurology

Year:

2019

File:

PDF, 529 KB

2019

27

Probabilistic software product lines

Camacho, Carlos, Llana, Luis, Núñez, Alberto, Bravetti, Mario

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 1.46 MB

english, 2019

28

Congenital Refractory Glaucoma

Bravetti, Giorgio E., Gillmann, Kevin, Mansouri, Kaweh, Mermoud, André

Journal:

Journal of Glaucoma

Year:

2019

File:

PDF, 120 KB

2019

29

A process-algebraic approach for the analysis of probabilistic noninterference1

Aldini, Alessandro, Bravetti, Mario, Gorrieri, Roberto

Journal:

Journal of Computer Security

Year:

2004

File:

PDF, 484 KB

2004

30

Asymptotic normal and bootstrap inference in structural VAR analysis

Stefano Fachin, Luca Bravetti

Journal:

Journal of Forecasting

Year:

1996

Language:

english

File:

PDF, 828 KB

english, 1996

31

Fine-needle cytology of the breast: A controlled study of aspiration versus nonaspiration

Stefano Ciatto, Salvatore Catania, Patrizia Bravetti, Rita Bonardi, Paola Cariaggi, Emma Pacifico

Journal:

Diagnostic Cytopathology

Year:

1991

Language:

english

File:

PDF, 243 KB

english, 1991

32

On the Construction of the C/D-Ring Systems of Aphidicolin and Stemodin: a Regio- and Stereospecific Synthesis of 17-Noraphidicolaii-16 one and 17-Norstemodan-16-one Preliminary Communication

Doriano Bravetti, Rinaldo Marini Bettolot, Alessandro Lupi

Journal:

Helvetica Chimica Acta

Year:

1982

Language:

english

File:

PDF, 304 KB

english, 1982

33

A Stereoselective Total Synthesis of (±)-Maritimol, (±)-2-Deoxystemodinone, (±)-Stemodinone, and (±)-Stemodin

Rinaldo Marini Bettolo, Pietro Tagliatesta, Alessandro Lupi, Doriano Bravetti

Journal:

Helvetica Chimica Acta

Year:

1983

Language:

english

File:

PDF, 742 KB

english, 1983

34

A Total Synthesis of Aphidicolin: Stereospecific Synthesis of (±)-3α, 18-Dihydoxy-17-Noraphidicolan-16-one

Rinaldo Marini Bettolo, Pietro Tagliatesta, Alessandro Lupi, Doriano Bravetti

Journal:

Helvetica Chimica Acta

Year:

1983

Language:

english

File:

PDF, 423 KB

english, 1983

35

Combining Partitions in SecSpaces

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 223 KB

english, 2004

36

Preface

Mario Bravetti, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 70 KB

english, 2004

37

From Theoretical e-barter Models to an Implementation Based on Web Services

Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 1.14 MB

english, 2006

38

Stochastic and Real Time in Process Algebra: A Conceptual Overview

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 201 KB

english, 2006

39

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 464 KB

english, 2008

40

Preface

Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 55 KB

english, 2004

41

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 254 KB

english, 2005

42

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 402 KB

english, 2008

43

Quantitative information in the tuple space coordination model

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 238 KB

english, 2005

44

The ozone patterns in the aerological basin of Milan (Italy)

C. Lavecchia, E. Angelino, M. Bedogni, E. Bravetti, R. Gualdi, G. Lanzani, A. Musitelli, M. Valentini

Journal:

Environmental Software

Year:

1996

Language:

english

File:

PDF, 736 KB

english, 1996

45

The theory of interactive generalized semi-Markov processes

Mario Bravetti, Roberto Gorrieri

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 260 KB

english, 2002

46

Performance measure sensitive congruences for Markovian process algebras

Marco Bernardo, Mario Bravetti

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 359 KB

english, 2003

47

Discrete time generative–reactive probabilistic processes with different advancing speeds

M. Bravetti, A. Aldini

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 410 KB

english, 2003

48

Non-determinism in Probabilistic Timed Systems with General Distributions

Mario Bravetti, Alessandro Aldini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 456 KB

english, 2002

49

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.76 MB

english, 2003

50

A formal approach for checking security properties in SecSpaces

Roberto Lucchi, Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 927 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски